//
/******************************************************
        File name:    main.c
        Author:       Bitat (陆叁柒)
        Gitee :       https://gitee.com/bitat
        Email :       737166381@qq.com
        History:      2023/1/6
*******************************************************/


#include <stdio.h>

int main()
{
    int input = 0;
    scanf("%d",&input);
    if(input<12)
        printf("2\n");
    else
        printf("%d\n",input/12*4+2);
    
    return 0;
}


